Built-in Testing, Property Testing, Compile-Time Tests, Test Coverage

Feeds to Scour
SubscribedAll
Scoured 77894 posts in 627.0 ms
Don't Trip[wire] Yourself: Testing Error Recovery in Zig
mitchellh.com·1d·
Zig
Preview
Report Post
Trying Zig by Implementing CHIP-8
agentultra.com·1d
Zig
Preview
Report Post
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·1d
Gleam
Preview
Report Post
How to Maintain Test Automation as Systems Scale?
keploy.io·22h·
Discuss: DEV
🧪Test DSLs
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·3h
🧪Compiler Testing
Preview
Report Post
Why Programs Fail A Guide to Systematic Debugging by Andreas Zeller-A Book Review
dev.to·12h·
Discuss: DEV
🔍Execution Tracing
Preview
Report Post
Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em
docs.rs·16h·
Discuss: Hacker News
🔒Rust Borrowing
Preview
Report Post
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
🛡️Parser Security
Preview
Report Post
Stop coding tests, and start testing code
blog.samuellevy.com·1d
🔬Code Analysis
Preview
Report Post
Getting from tested to battle-tested
blog.janestreet.com·1d
🎲Test Generators
Preview
Report Post
Use of Assertions
blog.regehr.org·16h
🔍Static Analysis
Preview
Report Post
Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
arxiv.org·1d
🧪Parser Testing
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Show HN: BackBuild – A framework for sequencing complex software delivery
arcaned.co·20h·
Discuss: Hacker News
🔄Incremental Compilation
Preview
Report Post
Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors
towardsdatascience.com·18h
🔧Error Recovery
Preview
Report Post
Troubleshooting with fault tree analysis and PIOSEE
developers.redhat.com·1d
🩺Compiler Diagnostics
Preview
Report Post
Designing AI-resistant technical evaluations
anthropic.com·6h·
Discuss: Hacker News
🌪️V8 TurboFan
Preview
Report Post
Stop Writing Boilerplate: Test Data Generation for TypeORM That Actually Works
dev.to·19h·
Discuss: DEV
Gleam
Preview
Report Post
All-in-one CLI for mocking and testing APIs
quadrastack.com·1d·
Discuss: Hacker News
🔧API Design
Preview
Report Post
Improve your AI code output with AGENTS.md (+ my best tips)
builder.io·16h
🎲Test Generators
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help